41. A guided tour of artificial intelligence research.
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Artificial intelligence. ;
42. A guided tour of artificial intelligence research.
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Artificial intelligence. ;
43. A logical language for data and knowledge bases
Author: Naqvi, Shamim
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، LDL )Computer program language(,، Database management,، Artificial intelligence
Classification :
QA
76
.
73
.
L15
N36
1989
44. A many-sorted calculus based on resolution and paramodulation
Author: Christoph Walther.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Automatic theorem proving.
45. A many-valued approach to deduction and reasoning for artificial intelligence /
Author: by Cary G. deBessonet.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Cognition.,Computational linguistics.
46. A methodological approach to sustainable resources utilization in Indonesia:
Author: I. Gunawan
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Applied sciences,artificial intelligence,Earth sciences,Geography,GIS,Social sciences
47. A multilingual dictionary of artificial intelligence english, german, french, apanish, italian
Author: Vollnhals, Otto
Library: (Semnan)
Subject: ، Artificial intelligence- Dictionaries-- Polyglot,، Dictionaries, polyglot
Classification :
Q
334
.
2
.
V6M8
48. A networked self and human augmentics, artificial intelligence, sentience /
Author: edited by Zizi Papacharissi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence-- Psychological aspects.,Assistive computer technology.,Human-machine systems.,Self.,Assistive computer technology.,Human-machine systems.,Self.,TECHNOLOGY & ENGINEERING-- Engineering (General),TECHNOLOGY & ENGINEERING-- Reference.
Classification :
TA167
.
N35
2018eb
49. A paraconsistent decision-making method /
Author: Fábio Romeu de Carvalho, Jair Minoro Abe.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic.,Decision making.,Decision support systems.,Logic.,Artificial intelligence.,Artificial intelligence.,Automation.,Computational intelligence.,Decision making.,Engineering.,MATHEMATICS-- Applied.,MATHEMATICS-- Probability & Statistics-- General.,Robotics.,Robotics.
Classification :
Q342
50. A perspective of constraint-based reasoning :
Author: edited by H.W. Güsgen, J. Hertzberg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Constraints (Artificial intelligence),Contraintes (Intelligence artificielle),Reasoning.
Classification :
QA75
.
E358
1992
51. A perspective of constraint-based reasoning : an introductory tutorial
Author: Guogen, Hans Werner, 9591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Constraints )Artificial intelligence(,، Reasoning
Classification :
QA
76
.
L28
Vol
.
597
52. A primmer of artificial intelligence : with sample programs in turbo pascal
Author: / Christopher f. Chabris
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Turbo Pascal (Computer program language),Artificial intelligence- Computer program
Classification :
QA76
.
73
.
P2C4
1988
53. A quadratic constraint approach to model predictive control of interconnected systems /
Author: Anthony Tri Tran C., Quang Ha.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Large scale systems.,Predictive control.,Artificial intelligence.,Automatic control engineering.,Communications engineering-- telecommunications.,Large scale systems.,Predictive control.,SCIENCE-- System Theory.,TECHNOLOGY & ENGINEERING-- Operations Research.
Classification :
TJ217
.
6
54. A theory of heuristic information in game-tree search
Author: Tzeng, Chun-Hung
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Artificial intelligence,، Game theory,، Logic, Symbolic and mathematical
Classification :
Q
335
.
T99
1988
55. A theory of heuristic information in game-tree search
Author: TZENG,CHUN-HUNG
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: ARTIFICIAL INTELLIGENCE , GAME THEORY , LOGIC,SYMBOLIC & MATHEMATICAL
Classification :
Q
335
.
T99
56. ACS/IEEE International conference on computer systems and applications, Proceedings
Author: / Arab Computer Society
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computer programming - Congresses,Artificial intelligence - Congresses,Machine Learning - Congresses
Classification :
Q325
.
5
.
A355
2001
57. ADVANCES IN INTELLIGENT SYSTEMS THEORY AND APLICATIONS
Author: / mohammadian ,masoud
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: artificial intelligence congresses,fuzzy systems congresses,intelligent contrcl systems-congresses,expert systems.(computer science) congresses
Classification :
Q
334
.
A37
2000
58. AI
Author: Daniel Crevier
Library: Library of Faculty of Psychology and Educational Sciences University of Tehran (Tehran)
Subject: Artificial intelligence - History
Classification :
Q
,
335
,.
C6
,
1999
59. AI 2007
Author: / Mehmet A. Orgun, John Thornton (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Artificial intelligence--Congresses
Classification :
Q
,
334
,.
A97
,
2007
60. AI 2008
Author: / Wayne Wobcke, Mengjie Zhang (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Artificial intelligence--Congresses
Classification :
Q
,
334
,.
A97
,
2008
